On morphisms of crossed polymodules

Covering morphisms of crossed complexes and of cubical omega-groupoids are closed under tensor product

The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through the equivalence of the category of crossed complexes with that of cubical ω-groupoids with connections where the initial definition of the tensor product li...

More on Morphisms

More on Morphisms

This is a chapter of the Stacks Project, version 7e38297, compiled on Feb 17, 2015.

Morphisms on Marked Graphs

Abstract. Many kinds of morphisms on Petri nets have been defined and studied. They can be used as formal techniques supporting refinement/abstraction of models. In this paper we introduce a new notion of morphism on marked graphs, a class of Petri nets used for the representation of systems having deterministic behavior. Such morphisms can indeed be used to represent a form of abstraction on m...

More on Morphisms of Stacks

More on Morphisms

This is a chapter of the Stacks Project, version 554d699, compiled on Oct 03, 2013.